On the Relationship between Filter Spaces and Weak Limit Spaces
نویسنده
چکیده
Countably based filter spaces have been suggested in the 1970’s as a model for recursion theory on higher types. Weak limit spaces with a countable base are known to be the class of spaces which can be handled by the Type-2 Model of Effectivity (TTE). We prove that the category of countably based proper filter spaces is equivalent to the category of countably based weak limit spaces. This result implies that filter spaces form yet another category from which the category of qcb-spaces inherits its cartesian closed structure. Moreover, we compare the aforementioned categories to other categories of spaces relevant to computability theory.
منابع مشابه
CONVERGENCE APPROACH SPACES AND APPROACH SPACES AS LATTICE-VALUED CONVERGENCE SPACES
We show that the category of convergence approach spaces is a simultaneously reective and coreective subcategory of the category of latticevalued limit spaces. Further we study the preservation of diagonal conditions, which characterize approach spaces. It is shown that the category of preapproach spaces is a simultaneously reective and coreective subcategory of the category of lattice-valued p...
متن کاملInvestigating the Effective Indicators on the Desirable Quality of Open and Semi-Open Spaces of Contemporary Housingry Housing
Today’s housing, as a private realm of human life, has changed in comparison with the past which was made regardless of quality, desirability, and lack of paying attention to the human needs and its psychological consequences; That is to say, residential units have turned into a set of closed spaces and their open and semi-open spaces have been merged into the urban spaces which disrupted their...
متن کاملOn categories of merotopic, nearness, and filter algebras
We study algebraic properties of categories of Merotopic, Nearness, and Filter Algebras. We show that the category of filter torsion free abelian groups is an epireflective subcategory of the category of filter abelian groups. The forgetful functor from the category of filter rings to filter monoids is essentially algebraic and the forgetful functor from the category of filter groups to the cat...
متن کاملWeak hyper semi-quantales and weak hypervalued topological spaces
The purpose of this paper is to construct a weak hyper semi-quantale as a generalization of the concept of semi-quantale and used it as an appropriate hyperlattice-theoretic basis to formulate new lattice-valued topological theories. Based on such weak hyper semi-quantale, we aim to construct the notion of a weak hypervalued-topology as a generalized form of the so-called lattice-valued t...
متن کاملON STRATIFIED LATTICE-VALUED CONVERGENCE SPACES
In this paper we provide a common framework for different stratified $LM$-convergence spaces introduced recently. To this end, we slightly alter the definition of a stratified $LMN$-convergence tower space. We briefly discuss the categorical properties and show that the category of these spaces is a Cartesian closed and extensional topological category. We also study the relationship of our cat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. UCS
دوره 14 شماره
صفحات -
تاریخ انتشار 2008